On Markov Reward Modelling with Second Order FSPNs

In this paper second order uid stochastic Petri nets (FSPNs) will be used for modelling reward in a performability model. Two variations of the performability model are presented. In the rst one two uid places are used, one of which represents the proot (reward) obtained by operating the system and the other one the buuer, that is approximated continuously. In the second model only one uid place is used, which represents the costs (negative reward) arising due to repair. The costs increase continuously while the system is in state of repair (which is a rate reward in the model). Additional costs incur each time the buuer fails (which is an impulse reward in the model). With a numerical solution algorithm the distribution of the reward and its mean are computed.